1. A Survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard, 1591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
2. A code mapping scheme for dataflow software pipelining
پدیدآورنده : / by Guang R. gao,Gao
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Computer architecture,Parallel Processing (Electronic computing),Computer Software
رده :
QA
76
.
9
.
A73G36
1991
3. A code mapping scheme for dataflow software pipelining
پدیدآورنده : / G.R. Gao
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
4. A practical guide to XEN high availability :
پدیدآورنده : Sander van Vugt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer organization.,Parallel processing (Electronic computers),Virtual computer systems.
5. A survey of verification techniques for Parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
6. A survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
7. A survey of verification techniques for parallel programs
پدیدآورنده : Howard Barringer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
8. Adaptive processing of sequences and data structures : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997 : tutorial lectures
پدیدآورنده : C. Lee Giles, Marco Gori )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Neural networks )Computer science(,، Data structures )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1387
9. Advanced Parallel Processing Technologies
پدیدآورنده : \ Yunji Chen, Paolo Ienne, Qing Ji (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Parallel processing (Electronic computers) -- Congresses,Computer Communication Networks.,پردازش موازی (کامپیوتر) -- کنگره ها,شبکه‌های ارتباطی کامپیوتری
رده :
QA
76
.
58
.
A6A3
2015
E-Book
,
10. Advanced computer architecture and parallel processing
پدیدآورنده : / Hesham El-Rewini, Mostafa Abd-El-Barr
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer architecture.,Parallel processing (Electronic computers)
رده :
QA
,
76
.
9
,.
A73
,
E45
,
2005
11. Advanced computer architecture and parallel processing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer architecture. ; Parallel processing (Electronic computers) ;
12. Advanced computer architecture and parallel processing
پدیدآورنده : El-Rewini, Hesham
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
.
E45
2005
13. Advanced computer architecture and parallel processing
پدیدآورنده : / Hesham El-Rewini, Mostafa Abd-El-Barr
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer architecture,Parallel processing (Electronic computers)
رده :
QA76
.
9
.
A73E45
2005
14. Advanced topics in dataflow computing and multiterading
پدیدآورنده : Edited by Guang R. Gao, Lubomir Bic, Jean-Luc Gaudiot
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(,، Data structures )Computer science(
رده :
QA
76
.
9
.
A73
A356
1995
15. Advanced topics in dataflow computing and multithreading
پدیدآورنده : ]edited by[ Guahg R. Gao, Lubomir Bic, Jean-Luc Gaudiot
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer architecture , Parallel processing )Electronic computers( , Data structures )Computer science(
رده :
QA
76
.
9
.
A73
A356
1995
16. Advanced topics in dataflow computing and multithreading
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(,، Data structures )Computer science(
رده :
QA
76
.
9
.
A73
.
A356
1995
17. Advances in computing techniques:Algorithms, databases, and parallel processing
پدیدآورنده : / JSPS-NUS Seminar on Computing, National University of Singapore, 5-7 December 1994
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic data processing _ Congresses,Computer algorithms _ Congresses,Database management _ Congresses,Parallel processing (Electronic computers) _ Congresses
رده :
QA75
.
5
.
J85
1995
18. Advances on P2P, Parallel, Grid, Cloud and Internet Computing :
پدیدآورنده : editors, Fatos Xhafa, Fang-Yie Leu, Massimo Ficco and Chao-Tung Yang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing, Congresses.,Computational grids (Computer systems), Congresses.,Parallel processing (Electronic computers), Congresses.,Peer-to-peer architecture (Computer networks), Congresses.,Communications Engineering, Networks.,Computational Intelligence.,Information Systems Applications (incl. Internet).,Artificial intelligence.,Cloud computing.,Communications engineering-- telecommunications.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information retrieval.,Parallel processing (Electronic computers),Peer-to-peer architecture (Computer networks)
رده :
QA76
.
58
19. Algorithm-Structured Computer Arrays and Networks; Architectures and processes for Image, Percepts, Models Information
پدیدآورنده : Uhr, Leonard Merrick
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Computer networks,، Computer architecture
رده :
QA
76
.
6
.
U37
1984
20. Algorithms and Architectures for Parallel Processing
پدیدآورنده : \ [Edited by] Guojun Wang...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a02,a03,a02,a03,Parallel processing (Electronic computers) -- Congresses.,پردازش موازی -- کنگره ها
رده :
QA
76
.
58
.
A4
2015
E-Book
,
